On disjunctive dependencies

A Guarded-Based Disjunctive Tuple-Generating Dependencies

Rule-based languages lie at the core of several areas of central importance to databases and artificial intelligence, such as data exchange, deductive databases, and knowledge representation and reasoning, to name a few. An algorithmic task that involves rules and is crucial for the above applications is query answering. In this work, we perform an in-depth complexity analysis of query answerin...

Explorer Guarded - Based Disjunctive Tuple - Generating Dependencies

Reasoning with Disjunctive Constrained Tuple-Generating Dependencies

On Extended Disjunctive Logic Programs

This paper studies, in a comprehensive manner, diierent aspects of extended disjunctive logic programs, that is, programs whose clauses are of the form l 1 not is the negation-by-default operator. The explicit use of classical negation suggests the introduction of a new truth value, namely, logical falsehood (in contrast to falsehood-by-default) in the semantics. General techniques are describe...

On the Disjunctive Markov Principle

In this note we show that over a strong (semi-)intuitionistic base theory, the recursive comprehension principle ∆1-CA does not imply the disjunctive Markov principle MP ∨.